Recently, Giordano and Martelli (1994) proposed two newcumulative variants of Reiters default logic (DL): Commitment toA......

Ｇｉｏｒｄａｎｏ提出了Ｒｅｉｔｅｒ的缺省逻辑（ＤＬ）的两个新变种：ＣＡＤＬ（ＣｏｍｍｉｔｍｅｎｔｔｏＡｓｓｕｐｔｉｏｎｓＤｅｆａｕｌｔＬｏｇｉｃ）ＱＤＬ（Ｑｕｓａｓｉ－ＤｅｆａｕｌｔＬｏｇｉｃ）它们都具有累积性，但不再具半单调性，ＱＤＬ甚于不再承诺预设（Ｃｏｍｍｉｔｔｏａｓｓｕｍｐｔｉｏｎｓ）本文基于我们已经导出的ＣＤＬ（ＣｕｍｍｕｌａｔｉｖｅＤｅｆａｕｌｔＬｏｇｉｃ）与ＤＬ扩张的特征，通过建立Ｃ......

Ｌｉｎ提出的辩论推理系统为非单调推理形式提供了种统一的基础，其推理机制由所谓的论点结构实现。由Ｌｉｎ的系统导出的非单调推理并不具有累加......

析取逻辑程序设计是传统逻辑程序设计最重要的扩充之一，本文通过一些实例说明，现存语义无法充分 表示信息的不完全性。为此，本文提出......